Algorithmic Deduction Based on Labelled Tableaux Project Gr/j14745 -final Report for Epsrc

Final Report GR/M70186/01 Imaging the Photofragmentation of Molecular Ions

Proposal GR/M70186 followed fairly close on the heels of a related funding application (GR/M20402). GR/M20402 sought modest equipment/consumables funding to allow a number of modifications to an existing ion imaging apparatus, plus a contribution towards the salary of a technician and a project studentship. In the event, all bar the studentship was awarded. This decision was seemingly based on ...

Labelled Natural Deduction for Substructural Logics

In this paper a uniform methodology to perform Natural Deduction over the family of linear, relevance and intuitionistic logics is proposed. The methodology follows the Labelled Deductive Systems (LDS) discipline, where the deductive process manipulates declarative units { formulas labelled according to a labelling algebra. In the system described here, labels are either ground terms or variabl...

Escape Analysis: Final Report for EPSRC grant GR/R53401

Serc/epsrc Gr/g56478 Cooperative Kbs Browsing (ckb) Final Report

FEAST / 1 Final Report - Grant Number GR

Background: The project was conceived in 1994 following formulation of a FEAST hypothesis. This stated that the software evolution process is a feedback system and must be treated as such to achieve major process improvement. Three self-funding international workshops were held at IC [fea94,5] to explore the hypothesis, with some 40 participants from the UK, Europe and North America at each. Fo...